Exact Sampling with Integer Linear Programs and Random Perturbations Carolyn Kim Ashish Sabharwal Stefano Ermon

Source URL: ai2-website.s3.amazonaws.com

• Mathematics
• Logic
• Abstraction
• Metalogic
• Model theory
• Structure
• Pattern language
• Indexed grammar

Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Systems engineering
• Graph rewriting
• Unified Modeling Language
• Model transformation
• Data transformation
• Model checking
• Mathematical logic

On the Use of Stemming for Concern Location and Bug Localization in Java Emily Hill Department of Computer Science Montclair State University Montclair, NJ, USA

Source URL: users.drew.edu

• Information science
• Information retrieval
• Natural language processing
• Computational linguistics
• Linguistic morphology
• Stemming
• Ranking
• Vector space model
• Latent semantic analysis
• Tfidf
• Relevance feedback

A Hierarchical Nonparametric Bayesian Approach to Statistical Language Model Domain Adaptation Frank Wood and Yee Whye Teh Gatsby Computational Neuroscience Unit University College London

Source URL: www.stat.columbia.edu

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Source URL: www.mathematik.tu-darmstadt.de

• Formal sciences
• Metalogic
• Proof theory
• Philosophers of mathematics
• Mathematical logic
• Proof mining
• Logic
• Foundations of mathematics
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Type theory
• Model theory

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• ISO standards
• Java enterprise platform
• Object-relational mapping
• Java platform
• Unified Modeling Language
• Java Persistence API
• Eclipse
• Object Process Methodology
• Metamodeling
• Java Platform
• Enterprise Edition

Software support for the Computation Independent Modelling in the MDA context Andreas Martin, Peter Loos Institute for Information Systems (IWi) at the German Research Center for Artificial Intelligence (DFKI), Stuhlsatz

Source URL: ftp.informatik.rwth-aachen.de

• Engineering
• Systems engineering
• Software engineering
• Systems science
• Scientific modeling
• Software architecture
• Software design
• Unified Modeling Language
• Model-driven architecture
• Information model
• Platform-specific model
• Business Process Model and Notation

Learning Conditional Latent Structures from Multiple Data Sources Viet Huynh1(B) , Dinh Phung1 , Long Nguyen2 , Svetha Venkatesh1 , and Hung H. Bui3 1

Source URL: dept.stat.lsa.umich.edu

• Statistics
• Probability
• Statistical natural language processing
• Probability distributions
• Stochastic processes
• Machine learning
• Statistical models
• Latent Dirichlet allocation
• Dirichlet process
• Dirichlet distribution
• Mixture model
• Gibbs sampling

Embedding Defect and Traceability Information in CIMand PIM-Level Software Models Jörg Rech and Mario Schmitt Fraunhofer IESE, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany +2210,

Source URL: ftp.informatik.rwth-aachen.de

• Unified Modeling Language
• ISO standards
• Diagrams
• Project management
• Systems Modeling Language
• Business Process Definition Metamodel
• Meta-Object Facility
• Object Management Group
• Business Process Model and Notation
• Metamodeling
• Eclipse Modeling Framework
• Profile

1 Digital Library Curriculum Development 2

Source URL: curric.dlib.vt.edu

• Information science
• Information retrieval
• Index
• Search engine software
• Search engine indexing
• Natural language processing
• Web crawler
• Search engine
• Vector space model
• Web search engine
• Index term
• Full text search